The Language of Functions and Relation